perm filename CMSL9.360[360,GF]1 blob
sn#803160 filedate 1986-01-12 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_LG#→
&4 Gd⊃x∂E∃h↓↔5`α⊗`UXαV@⊂λα⊗@⊂λα⊗ ⊂⊂αV ⊂_α⊗⊂ α⊗⊂ α∃`⊂(α∃`⊂(α∃@⊂8α∃@⊂8α∃ ⊂@α∃ ⊂@α∃⊂Hα∃⊂Pα∀`⊂Xα∀B∃⊂CEλC EλC@EC`EC`DxDDxDDp↓∧T`αC`TP∧B!T("⊂CR∂π@Q_)↓!⊂ )A↓ )A↓0 )↓↓@()↓↓@()↓↓@()↓↓@()↓↓@()↓↓@ (A↓@((A↓0((A↓0 (A↓⊂((D
⊂ ∧A
¬A
ε↓
ε↓* εA
εA
εA p π↓ p εA)p εA)p εA p ε↓)p ¬A)` ¬A)` ¬↓ ! "Qλ1h⊃λβpxβ↓`∃0↓A@ ↓∃0P@@5_↓CUλαβ@Eαβ`4xα∧ $xα∧ $pα∧@$hαD@$hα∧`$`αD`∀`α¬∀XαR`TXαR`TPαR@TPαR@TPαE∀Xα¬∀Xα∧`∀Xα∧`∀`α∧ ∀`α∧ ∀h↓D∀p↓C@∀x↓β ∃↓α`∃λ↓A@5 β⊃(D ∂HCapαDJ (∧A
0 ¬↓
0 ¬A
εA
εA
π↓
π↓
π↓
π↓*⊂ πA*⊂ πA*⊂ πA*⊂ πA*⊂ πA*⊂ πA* λ↓
πA* πA* πA* πA
π↓)p πA p π↓ p π↓ p εA p ε↓ p ¬A ` ¬A ` ∧A !⊂"QλQ`∂GC`(T@PXα∀`@`↓T`@h↓∀@@p↓∀@@xT@@xT@@xT@@xT@@8A`∃λα↓`∃λα↓`∃λα↓`∃λα↓@%λε∀ @(↓T@8T@8T@8T@8TAλTAS`AλS`AλS`AS`AS`@x↓∪`@p↓∪@@p↓S@@`αRC∧("⊃CAx∂π@Q8)↓!0 )A↓@_)A↓P⊂)↓↓`⊂)↓↓pλ)↓↓pλ)↓↓pλ)↓↓pλ)↓↓pλ(Apλ(Apλ(Apλ(A`⊂(AP_(C
βJ β@* β@* β@* β@* 'A p 'A p 'A p '↓ `(%βHT #GD2∂C`p8U@@0↓↓% αα@⊂⊂↓T`0hαT@0xα∀ 1↓T1⊂↓∪`A⊂↓∪@A_↓∪ Q_↓∪ A ↓∪Q SA(R`TXαR`TXαR@TPαR@P`εR@QλαR`A⊂α∩`A⊂α∩`Aλα∩`Aλα∪Aα∪Aα∪ 1α∪@0pαS`0`@ 5↓B@⊂_↓∀ @0↓↓ ∃ βQ(D@⊃ #apαC 0h)↓!0()A↓@ )A↓@ )↓↓@ )↓↓@ )↓↓@ )↓↓@ )↓↓@ )↓↓@ (A↓@ (A↓@ (A↓@ (A↓@ (E
⊂ ε↓
ε↓
ε↓
ε↓
ε↓
ε↓
ε↓ p ε↓ p ε↓ p ε↓ p ε↓ p ε↓ p ε↓ ` ε↓ `(¬A) h↓C(T $DbAp∂↓!e_αUE α∀`E_α∀`E_α∀`E_α∀@E⊂α∀@E⊂α∀@E⊂α∀ Eλα∀ Eλα∀ Eλα∀Eα∀Eα∀Eα∪`DxαRAd("∩BqP∂GA⊂p,↓+⊂ ,A ,↓ ,↓ ,↓
p +A
p +A
p +A
` +↓
` +↓
` +↓
P &@p %A` %↓ ` %↓ `_%↓` %!⊂_%@ p_& P_&AHT %Hdap∂↓!P@∧T@PpαT`@x↓∀`@p↓∀@@pT@@hT@@`T@@XT@@PT@@@T @@T @8T @0↓∀ @(↓T @ αT @⊂@@Eα@⊂ α∀@λA EαA@EααEααEαα Dxαα@Dxαα`Dxαα`DxαβDxαβDxαβ Dpαβ@DpαCdPεA!D("∪β⊃`∂π@Pp)↓J0 )A
)↓
)↓
)↓
⊂ (A
⊂ (A
⊂ (A
(↓
(↓
π* ε@)p π)p π)p ε@Ip ε@)p εIp ¬@i` ¬A ` ∧A)!0"Q RH⊗πC`(∧∧A%⊂αD@U_α∧ ⊂λα∀`Aλ@ E⊂@@0x@ E⊂@@0x@ E⊂@@0p@@E⊂@@0p@@E⊂@@0h@`E⊂@@0h@`EλA0X@`EλA0X@`EλA0PAEλA0PAEλA0HA EλA 0@A EA@08A EA@08A EA@00A@EA@0(A`EA`0 A`EA`0_BDxB0_A`DxB0⊂BDxB0⊂BDxB0λB DxB @Hα∪`⊂H↓B@Dp↓α 0Hα∪ @@↓α@TP¬↓ 0εQ(Dp⊃ #apαB↓0P)A!@()A!P⊂)AAPλ) ε* λ↓↓↓@λ) 0 ¬@* λ↓A↓0λ) @ ¬* λα↓↓ λ(@ ` ∧*⊂λβ↓↓λ(@ p β@*⊂λβApλ(@! β*⊂λ∧↓`λ(! α*λ¬↓@λ(! (↓@*λ¬A0λ(!0 ↓@*λε↓ λ'@!P @)pλπ↓)pλπ↓)pλπA pλπA pλλi`⊂λIP λ) Pε@(T 'GD2∂C@u0↓A E ↓B 5⊂αα`5λαβ 5αβ@Dxαβ`Dpα∧ Dpα∧ Dhα∧@Dhα∧@T`αD@T`α∧`TXαD`TXαD`TXαD`TXαD`TPαD`TPαD`TPαD`TPαD`TPαD@TXα∧@TXα∧@DXα∧ DXαDD`αβ`D`αβ@DhαβDpαα@Dx↓B 5λ↓A E_βQ(E∞πcapαDJ (∧↓
0 ∧A
0 ¬↓
¬A
¬A* ¬A* ¬A* ¬A* ¬A
⊂ ¬A*⊂ ¬A
⊂ ¬↓
⊂ ∧A
⊂ ∧↓
⊂h(↓
(↓
(↓
'A p 'A p 'A p '↓ `(%β(T (GD2@∂C@u0↓A E ↓B 5⊂αα`5λαβEαβ@Dxαβ`DpαDDpα∧ DhαD Dhα∧@T`αD@T`α∧`TXαD`TXαD`TXαD`TXαD`TPαD`TPαD`TPαD`TPαD`TPαD@TXα∧@TXα∧@DXα∧ DXαA@08α∪@(B D`α↓⊂(@`Dhα`⊂(@@Dp↓@@⊂8αS`0⊂A@5λα↓@8T`pλB∃P↓A`∃P↓A@∃Pα↓%P¬⊗a¬X∧⊗`u`α⊃(E⊂∂HCqpαD* (βA
0 ∧A
0 ¬↓
¬A
¬A* ¬A* ¬A* ¬A* ¬A
⊂ ¬A*⊂ ¬A
⊂ ¬↓
⊂ ∧A
⊂ βA
⊂`(↓p_(↓↓_(↓↓ (↓↓⊂_(↓↓⊂_(↓↓⊂ 'A↓⊂('A↓⊂('A↓⊂('A↓⊂('A↓⊂('A↓⊂(β@)` ¬↓ `λ'↓! (α@) hβA0⊂0↓(T )Ec"∂B``(T` 0↓@%⊂↓α Eλ↓α@E↓β4x↓C$x↓β@∀p↓C@∀p↓C@∀p↓C@∀p↓S@DpαSA∧x¬T↓Eλε∃↓∃@β⊗@EX↓V`EXα∩`⊂x↓R`⊂x↓R`⊂x↓R`⊂x↓R` h↓R` h↓∩@@X↓∩@PH↓∩@ _↓↓@$PA@d("∃βB⊂∂π@!P&↓p βA @⊂∧A↓⊂⊂%@A ∧@I0λ¬↓↓0λ%@! ¬@) ⊂¬↓↓0λ%!0 ¬@) λ¬A↓0λ%!0 ¬@*P *A
P *A
P *A
@ *↓
@ *↓
@ *↓
0 )A
0 )A
0 )A
)↓)Aλ"Q
Qh∩Gc`εAA$hαC Tpαβ@$pαβ`∀hαβ`∀hαβ`∀hαβ`∀hαβ`∀hαβ`∀hαβ`∀`αβ`∀`αβ`∀`αβ`∀`αβ`∀`αβ`∀`αβ`∀Xαβ`∀Xαβ`∀Xαβ`∀Xαβ`∀Xαβ`∀Xαβ`∀X↓C`∀X↓C`∀X↓C`∀X↓C@∀Xαβ∀`↓C∀h↓α`∀p↓α$x↓↓ %λαQ(E0⊂ Cqpβ↓0H&AB('↓α ⊂'↓α λ'↓α λ'↓"λ'A↓p⊂'A↓pλ'A↓`λ'A↓`λ(↓↓@λ(↓↓@λ(↓↓0λ(↓↓0λ(↓!⊂λ(A↓⊂(A↓λ(Apλ(Apλ)↓Pλ)↓Pλ)↓@λ)↓@λ)↓ λ)A⊂⊂)A⊂λ)A*0(*j@_*J@⊂"Q
r`→πc`ε↓!@0∧S P`βα`ThαC @h↓∪@@hαβ $pαβ @hS@@`αC ∀pαβP`S@@X@ @`S@@X@@@PS@@P↓@@PS`@H@`@HS`@@↓`@HS`@@A@@S`@@A@@S`@8A @8S`@8A@@0S`@0A`@(T@(A`@(T@ B@ T@ B@ T@_B @_↓∀@_B @_T@⊂B`@λ↓∀@⊂B`@λT P`α ∃λαCUλαβ Uλαβ Eλ↓C@Eλ↓C`%λ↓∧%⊂D∀("⊗∧2 ∂π@``βBJ08¬↓J@(εjP εJP(¬J` ¬*`(∧*p β@*p(α@+ α+(↓K⊂ @K⊂0-↓ (-A 0,@@⊂ ,@ (, @ +@ P(+ p *@!(*! )@A ()A@ )!P((@!p (Ap(&AAP0%αa⊂`"Q∩λ∪GC`εβ↓∀hβ∧Tpα∧@$pαD ∀xα∧∀xαC@∃αβ ∃αC∃λαα`∃λαB ∃λαB∃⊂α↓`%⊂αA@∃_α↓ ∃_α@`∃ α@∃ βU U(α∃ E(α∃ 5 α∃E α∃E α∃5_α∀`TxεQ(EP
π#apβ¬
(¬↓
_ε↓ p_ε↓ p⊂ε↓ pλε↓ `⊂ε↓ `λε↓ `λ¬A `λ¬↓+⊂ ,↓
p +A
` *A
@ *↓
0 )↓
⊂ ε*⊂ ¬@* ε)p ε@)`(εI` ε@)P ε@I@ ε@i0(ε↓ 0 ¬A)!("Q⊃ DB (∧∪ 00↓∪ @0↓∪ 08↓S@⊂@↓U`58↓T`txβ@4hα↓@4`α↓@4Xα↓`4Pαα0 R@@@↓A∀Pαα0 R@@8α↓∀Pα↓@⊂λ↓@`∀Xα↓⊂⊂α ∀hβ↓D("_BAH∂π@ 0'↓ p_'@i`_'i`_'i`_'iP_&@iP_↓AIP_@@P⊂&A↓_&@a⊂_&a0_&a0_&a0 &a0 &a0 &a0 %@a0 %@a0 %@a0 %@a0_%@a _%@a⊂_%`⊂λβ@i ⊂↓@ P_% P("Q1λ
∧B @βT0(↓∪` 0α∪@00↓S 0@SD`↓R`DXα∩`DPα∩@DX↓R`4X↓B`∀`↓B ∀`↓B∀p↓↓ $xβ⊃(F ε#apλ↓K@ .@kP_.k@_.k@_.k@_-@k0_)A 0_(`P⊂@ip_∧↓ `_∧A P_¬i@ ¬i@_¬@i0 ¬@i0 ¬@i0 ¬@i ¬@i ¬@i0_¬@i0_¬@i0_¬@i@_∧A P⊂∧↓ `⊂α@@⊂ (↓ 08"QQ⊂
∧B @β∀0 ↓S`00↓S@0@↓∪ 0H↓S@H↓S0P↓R`@P↓Rb∀Xα∩@DPα∩`4X↓R`@XS0PS HS@0(↓∀d("→B1(∂πA@(*`0⊂)@`0 )`@ )`@_(@j⊂_(@j⊂_(@j_(i0`(j_(ip_'@ip_'@ip_'@i`_'i`_'i`_'iP_&A P"Qq@π"1 ↓UP_↓@%⊂↓@`@_↓T00↓A∀xα↓@Dx↓A`Dpα↓`Dpα↓`Dpα↓`Dx↓A`4x↓A@4xα↓4x@@dpS@∀h↓∪ 4pε∪Adxπ∪ Xα∪ p↓∩` x↓∩@!↓∩@!↓∩@!↓∩` p↓∪ `↓∪ 08↓Sa∀("~αa@∂π@P0(A
_)j⊂_(@j⊂_(@j⊂_(@j_(j_α↓*_↓@@⊂(`⊂λβj β@ip ∧ip_∧@ip_∧@ip_∧@ip_∧@ip_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@iP_∧@iP ∧↓ P↓αHT 4BaAp∂↓`5αTUαT 48β@`dxα∀5↓S`4x↓S`4x↓S`4x↓S@4p↓S@4p↓S@4p↓S 4hα∩A∀("~B x∪GA`_+A*p(+A⊂#Aa⊂8+↓
p_+@j`_+j`_+j`_+jP_*@jP_*@jP_*@j@_*j@_*j@_*j0_%@@`_%↓P⊂%↓@⊂%@@@⊂&↓HT 5EC↓p∂↓ eλα∀@5⊂↓T 5λ↓T 5λ↓T 5λ↓T5↓T0(∧∀00αT08↓∀00S`00S`0(S`0_↓∪`0⊂↓S`0λα∪`@λα∪@0 ↓S@0 α∪@0(↓S@0(α∪@00↓S@00α∪ 08α∪ @0αRA⊂_∧⊃(F`¬CβapαAJ⊂ )j _(@j⊂_(@j⊂_(@j⊂_(j_(j_(j_'@ip_'@ip_'@ip_'i`_'i`_'i`_&@iP %αHT 6HDA⊂ `` αA`Txα@ ↓↓ ↓∀0λA@0⊂A@5α↓`0λA`4xαα@@↓S`0H↓B 4x↓B 0H↓S`0H↓B 4x↓B 0H↓S`0H↓B 4p↓B 0H↓S@0H↓B 4p↓B 0H↓S@0H↓B 4p↓B 0H↓S@0H↓B 4h↓B 0H↓S @@ααDP¬A ⊂¬⊃(Fpεα!⊂↓A@@('A ⊂αJ_@ `_(↓p_'A↓_'@a⊂_'@a⊂_'@a⊂_'@a⊂_'@a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_&@a⊂_&A↓ %α@ P"Q
q(DB Hβ∀ (↓S`0@↓∪@0H↓S 0X↓S@X↓S0`α∩`@`α∩`@`α∩`@`α∩@@`α∩@@`α∩`0`α∩`0`↓R`0X↓S0H↓S 08↓S@0(↓Td("≤β⊃H
D@P0↓AJ⊂ @@P⊂)↓↓_)a⊂_(@a (@a0_(@a0 (@a0 (@a0 (@a0 (a0 (a0 (a0 (a (a _(a⊂_'@`⊂λβ@ip_↓ @ '@`0('@ip_'@i`_'i`_'iP %αHT 8DbaX αP(T0 ↓@$x↓A@⊂⊂↓∪@0@α∪ 0H↓S@H↓S0P↓R`@P↓R`@P↓R`@P↓R@@P↓R@@P↓R`0P↓R`0P↓R`@H↓S0@α∪08α∪@ ↓ 4xα@`58↓U`58↓U@50↓U@50↓U E⊂¬⊃(G⊂λDb!⊂↓A@ 'A⊂λ↓@J ↓A
↓@ip α@)p '@ip_'@ip_'i`_'i`_'i`_&@iP %αHT 9Cb⊃⊂ ↓@`⊂S` (↓S@⊂@↓∪ @↓∪ HS0@SDhβ∪A∧x∧∀@e(↓R`⊂P↓∩`⊂P↓∩`⊂P↓∩` @↓∩@0@R@@(↓∩@⊂_β⊃(G εD#1X∧*⊂λ(@*⊂λ(J⊂'@i`_&↓) h'i`_'iP_&@iP_&@iP_&@i@_&`Pλ&`Pλ&`Pλ&`Pλ&`@λ&`@λ&@@0λ'↓λT :Dc↓⊂ `0β∪@@α∪ 0H↓S 0H↓S0H↓S0H↓S0H↓S0H↓S0H↓S0H↓R`0H↓R`0H↓R`0H↓R`0H↓R`0@α∩`0@α∩`08α∪ (↓ Dhβ`t("≥BQH ∧@HαAiP ∧↓ P_¬IP_¬)P ∧)`_∧)`_β@)`_β@)` α@)p_α)p_α)p_↓@)p_↓@*_@*_@* (j⊂⊂(@(T ;GD!⊂ ↓⊂⊂∧↓t`α↓`@@↓S 0@↓α $h↓B HS 0@↓B∀h↓A`@8S@00α↓`∀p↓A ⊂⊂↓↓@∀p↓A ⊂⊂↓↓ $p↓A⊂_↓A∀p↓A⊂_↓@`∀x↓@@⊂ ↓@`∀x↓@@⊂(↓@∀x↓@ ⊂0↓@∀xαA@Dxα↓`E↓α5↓α %B@∀("≡β↓H ∧@0Hαα
βA
⊂_β@J⊂_β@* _α@* _α*0_↓*0(*jP_*↓
0λ↓j λ↓A
⊂⊂αj⊂βip⊂β@i`⊂∧@i@ ∧↓) 8βα(T <F#⊃X ↓↓⊂(βT @@α∀ 0P↓∀ 0PT @@T@0@T@08T@08T@@(T`0 T`0 T`0_T`0_U0λU0λUE ↓U %(U ∃ U∃_R`0 R@@ R@@_R@0_SD("≡B1 ∧@Pp'@`p_'A_'! '!_&@!_&@ p_*j0_)j⊂_(`pλ'@aλ'↓↓λ'aλ&@a⊂λ&a⊂⊂%@a_%βhT εcap∂↓"e⊂αB@E_αα`5_αβ%⊂αβ %⊂αβ@∃⊂αβ@∃⊂αβ@∃⊂αβ@∃⊂αβ@∃λα∀ Eλα∀ Eλα∀ Eα∀Eα∀Eα∀Dxα∪`Dxα∪`Dxα∪`Dpα∪@TPπ⊃(@λ⊂Hcqx
@K`_/kP(.↓K@λA0λ↓↓+ λ↓A+ λα↓⊂λαA+λβ↓+λβA
pλ∧↓*`λ∧A*`λ¬↓
Pλ¬A*@λε↓*@λεA
0λπ↓* λπA* λλ↓
⊂λλA*λ ↓*λ A pλ
↓)`λ
A)`λ↓ PλA)@λ↓)Ap%H "λ"Q!p⊃HβppβU@0(α∃0H↓T@@X↓T @`α∀@pα∪`@xα∪@Qα∪@Aλα∪ Qλα∪ A⊂αSQ⊂αSA_αR`P B ⊂ αR`P B ⊂ αR`P ¬ATXαA↓0 αR@P ¬ATPαA⊂HATPαA⊂HATPαD`TPαD@TXα∧@TXα∧@DXα∧ DXαDD`αβ`D`αβ@DhαβDp↓B`Dx↓B 5λ↓A E_βQ(@_∞πCqx +@⊂-@k0_-↓ ,A+⊂0, , +@ 0 +@ 0 + @ + @(*@ P(*@ ` * p * p )@! )@!()!⊂()! (@!0 (@!0 (!@ (!@ '@!P('@!` '!p &@Ap &↓↓P0%α↓`"QAx⊂GC`(
∪c$x
∪`⊃8↓∪@!8S@⊃@S@⊃@Q`@8D∃λD∃λ ∀"%λ ∀⊃T⊃Q``λF∀XF∀XF∀XE`$P
∩C$P
⊃(@(⊃ #apαG* (ε↓
0 ε↓
0 ε↓
ε↓
ε↓
ε↓
ε↓
ε↓
ε↓
⊂ ε↓
⊂ ε↓
⊂ ε↓
⊂ ε↓
⊂ ε↓
⊂ ε↓
ε↓
ε↓
ε↓
ε↓
ε↓
ε↓ p ε↓ p ε↓ p ε↓ p ε↓ p ε↓ p ε↓ ` ε↓ `(¬A) h↓C(T βπD⊃p∂↓#∃αβ`UαD5λα∧ %λαD%⊂α∧%⊂αD∃⊂αD∃_αC`∃_αC`∃ αUU(α∃ U0α∃@U8↓U`%8U@∃(C`∃ C`∃_D∃λ↓∧ ∃D@$xD`∀pD`$hD`4`D dX∩C∀("↓cR ∂G`P(ε↓)P@∧B @PβBI@XαBi0⊂β↓@ βI0λ∧↓0_∧) λ¬` _∧@) λ¬` ⊂¬*`⊂@j`⊂@J`⊂@J`(+↓
` +↓
` +↓
P *A
P *A
P *A
@ *↓
@ *↓
@ *↓
0 )A)Q"Q↓↓X⊂πC`@λ∃`e@α⊗E8α∃`E(∧∀@@λα Eα`@_α∪`0(α↓Dhα↓ @(α∪P(α↓@D`α↓@@0α∩`P0α↓@TXαA@@0αR`P0α↓@TPαA@@0αR`@0α↓@TXα↓@@0α∩`@0α↓ T`α↓ @(α∪ 0(α↓Dp↓@`@ ↓S`@λα E⊂∧∃E α∃E_α∀`Thλ⊃(@H∞Iβap∧∧
p0,↓ +A (∧↓p(&↓p β↓ @ βAP &↓p αA @ βAP &↓` αA @ β↓P &↓` αA @ β↓P &↓` αA @ β↓@ &↓P αA @ αAP &↓P α↓ P_αA@_&@`P ↓A `_α↓0_'@` ↓↓
_A⊂_)α
@ *↓
@ )A
0(&DλT ¬πD⊃x∂CA¬0↓A@5 ↓B@5⊂αα`Eλαβ EαC Eαβ`DxαC`DpαDDpαDTpαDThαDThαDThαDThαDDpαβ`Tpαβ`Dpαβ`Dpαβ@Dxαβ 4xαβ5↓C5↓B`5λ↓α`%λ↓α@$PA@ P↓↓@∀PA`⊂PA@∀P↓↓@⊂HA`∀XA@⊂HA@$X∧α!∧X∧α↓∀X∧α↓∧("α18∂π!⊂0(@`@⊂(@p⊂'@`p_'a⊂⊂'a⊂_&@a _&@a _&↓↓⊂ &a &a %A↓ %A↓ %A↓ %A↓ %↓↓ %↓↓ %↓↓ %↓↓ %↓↓ %↓↓ _%↓↓⊂ %a %a _%a _%a⊂_%@A⊂_%@`p_&@`_&`@_'↓HT _Cb1h∞C%(↓T@dpα@5 ↓U5 ↓U5 ↓T`5_↓T`5_↓T`5_↓T@5⊂↓T@5⊂↓T@5⊂↓T 5λ↓T 5λ↓T 5λ↓T5α∩At("Ba@∞G! 8)@P (@! (! '@!0 '@!0 '↓↓⊂('↓!('↓!('↓↓⊂ '@A -↓+ ,A⊂_,jp_+jP_*j0⊂)J⊂⊂(A λ'@A0λ'!@λ&@!Pλ&∧ 1%∧(T →Eαqp∞B@eλ↓AEBDxB@Dx↓BDpααDpα↓`Tpα↓`UHα⊗ E@α⊗58↓U@5⊂αU@58↓U`E8αVE8αS HαR`@@αR@P@αR@P@αR@@Hα∩@⊂Xα∩`⊂P↓S⊂@↓S α∪`d("
αA0∞G"⊂⊂-@K _,@k +@ ⊂_+@⊂_+ _*@ 0_* 0_)@ @_)@@_) P_(@ `_( p_'@ p_'!_&@A_&@!⊂_&! _%@!0_%¬
`_+j`_+j`_*@jP (CλT ~Eαqp∞A` H↓∀!Eε∀↓%∧∀∃T∀xS`∀xS`⊂_αS`⊂λ↓↓4x↓↓`4p↓α $pB@5H↓V EHα⊗ EHα∩`0Pα∩@PHα∩@@Pα∩@0X↓R@⊂`α∩`⊂X↓R`⊂P↓S⊂@↓S ↓S`T("
B18∂π!@()@`Pλ)Aλ(@@p_(@p '@`p 'a⊂⊂&A P_&↓ @_%A0(%A λαi0 @ `_%A!⊂%↓!⊂_%↓!⊂_%↓↓ %↓↓ %↓↓ %↓↓ %↓↓⊂ %a %a %a _%a⊂ %@A⊂_%@`p_&@p⊂&@@@_'A(T ≠Dc!p∞@@∀`λRb∀Xλ∩`⊂hR@ `R@⊂hR@⊂`U@∃(U∃_T`∃⊂T %↓∀$x↓S`$p↓S@4hα∪ 4h↓SD`α∪DXα∩`DXα∪$("∞αA8∂π! 0)@P_(@!⊂⊂(! ⊂'@!@⊂'A@⊂'A@⊂'A@⊂'A0⊂'a ⊂'↓ p⊂'↓@P⊂'A`⊂⊂(α
⊂8(B)p⊂↓Ai`⊂β↓)Pλ∧A)@⊂¬↓ 0⊂εi0⊂ε@I ⊂πI ⊂πI ⊂πI ⊂π) ⊂ε@)0⊂¬@I@⊂∧@)P⊂βIp0"Qπ⊃_GCPHβ∀ 0 ↓∀ 8↓∪` @↓S@0@↓S 0P↓∪@P↓S@P↓S@Hα∩`@Pα∩`@Pα∩`@Pα∩`@Pα∩`@HαR`@HαS0Hα∪0@αS 00@ Dp↓↓ ⊂⊂α∀P_↓U`E8α∃`50↓R` H↓R@@8↓R@@8↓∩@08↓∩@⊂@↓∩`⊂(↓Sd(" α18⊃H!Pλ+*`λ)AJ⊂⊂↓@ ⊂(@@λα)p⊂α@ @λ'@Pλβ)`λβ `λ&@@`λαiP⊂β 0 &@@`λ↓A P⊂β @λ&@`@λ&@`@λ&A@⊂λ'α pH(α* @)@ )@ 0_)@ @_)@ @_%@`Pλαi α P⊂%↓@λα@I _α@ P⊂% pλα@)0λβ @⊂%@ `λ↓@I@λα 0⊂&@ 0λ↓I`0(@*⊂λ"Q∧bλ∩λβpp↓U@ _U U (U 0U (T`0(T`0(T`0 T`0 T`0_T`0⊂T`0λT`@P¬∀`0pα∀`0p↓∀`0pT `hT⊂_↓C∀xA0XS@ αα ∀h↓↓@0@S00α↓`∀X↓B00R@@@α↓∀Pαα 0_R@@Hα ∀Pαα@@XR@@X↓B@∀X↓B`@HR`@@↓@08S0(↓A 0 ↓∪@`PαQ(CxπECapαAiP⊂α@i@λ∧i0λ∧A 0_βA βA βA 0⊂∧j@ )A
_(@j⊂⊂(Ip⊂'@)pλ')`λ')`λ#A ⊂%A (%A 0_"Qπ`xλGBPP↓∀`E⊂αT@U_↓Q`PHT`∃_T@∃⊂T@∃λ↓∀%↓∪`$p↓S 4`↓R`@@R`@8↓R@@8α∩@@@↓R@@HR`0@↓∪ 0↓∪ t("∧↓⊂P ∧@00'A
_(ip_'@ip_'@ip_'@i`_'i`_'i`_'iP_&A H"Qα⊃εFb HβU@E8↓U`50↓U@50↓U@50↓U@5(↓U 5(↓U 5(↓U 5 ↓U5 ↓U5 ↓U5_↓R` 0↓R@@(↓∩@@ ↓∩` ↓∪d("ε"Q8∂πA@0*`0_)@`P_)`` )`` (@`p (@`p (@`p (@`p_(@`` (`p_(`P_&A@0_(`P_(``_(`p_'@a_'@a '@a⊂_'@a⊂_'@a⊂_'@a⊂_'a⊂ 'a⊂ 'a⊂ 'a⊂ 'a '` ⊂αiP_↓↓ _&@`0⊂↓i 0α↓λT
πD⊃⊂ ↓!@αS 08↓↓ (↓∪ @8↓@ 0↓S 0@αB$pB @H↓V@H↓V0P↓V0P↓TBdxαA4hα↓@4`α↓`4Xαα $Pαα 4Pαα @XR@@@↓ PR@@8↓` @R`@ ↓A (↓∪ pHαQ(AX⊃ α!⊂∧AA⊂0(`P⊂β`@_'@a⊂↓@@p_'a⊂⊂↓A⊂⊂&@a0 ¬i@ ¬A↓ _&a@_¬@i0 εa0_%A↓Aλ%A↓@_%↓↓@_%↓↓@_%@a@_%@a0(%A↓ (ε)@_∧@@ ⊂¬@)P⊂∧@@⊂∧@)`_α``⊂βJ0¬↓HT ∞¬"qXE∃hW∃X↓⊗`∃_β ∃λ↓A5↓↓`4x↓↓`⊂λ↓S@ 8@`$h↓A`⊂_↓∪ 8A4`↓A@⊂(↓S0(↓↓ 4`↓A ⊂0↓R`0(A@4X↓A⊂8↓S A`4`↓`⊂@↓∪ ⊂B$h↓ ⊂8↓S 08↓S@0(↓∪ λβ∪ ∀`R`∀XQ(Ah∀
CapπF+PλA! . 0 ¬@k@λ↓A↓@⊂-@ 0 ε@K0λ↓A↓`λ- @ π+ λα↓↓`λ,@ P π+⊂αA↓`λ, P +@ ` ∧*pλβ↓↓λ+ p ∧*`λβAp⊂*@! βjQ(*! β@J@λ∧↓↓λ)@!⊂ ∧*0λ∧A↓λβ@* λ¬↓↓λβ*⊂⊂∧Aαλ(@! λ*λ¬A↓pλ(!0 π@)pλε↓↓`⊂'@!@ ε@I`⊂¬A↓P_&↓! ¬A) HαEHT ∂
%r∂C@u0↓A"U ↓BPXα∀@@Pαβ5λαα`@h↓∀@`↓C@$xαβ 0xS@Ph↓C`∀pαβ @xS Phαβ`∀hαβ@@PA∀`αC@0PS@x↓B@∀XαC`0H↓∩`Ppαα4XαCAtXαC@@@↓R@Px↓B@∀PαC`0PR@Px↓B@∀PαC@@PR@Ppα∧ ∀Xαβ@AR`Ph↓D ∀XαC 1λR`Ph↓D∀`αβASPXαβ`$hαα`@p↓∪@@Hαβ@4xαα@`αT@(∀`t("πcb_⊃λβ@⊂,↓`pλ+`P ↓@*@⊂¬`⊂λ)a@_(@a`_(ap '@apλ@i` π 0_'a`λαiP ε@ P_&@aP⊂αA @ ε@ ` &aPλβA 0 ε! %A↓0λ∧A 0 ¬A⊂ %A↓⊂⊂¬↓ ¬! %↓↓⊂λ¬A ∧!@ %↓pλεA βA@ %@``λεA 0_α@!`_%@`@λπi0 ↓!p_&`⊂λπ@i@(πiP_πi`_εiPλ@a ⊂& @_βi0⊂β↓i ⊂"Q∧⊂Pππcp0↓S`TxαS`Txα∪`Dxα∪`Dx↓S@Dpα∪@4p↓S@4p↓S@$p↓∪@$p↓∪@∀pS@∀8α@@$Xα∩@TXα∩`4("∂↓⊂`∂E `⊂'A `('↓)p_#A Pλ'@)`⊂'I`⊂'IP_&@iP⊂&i@_&i@_%A 0 %A 0 %↓) (%↓) %@HT ⊃H$R8∂∧@ @↓↔ @↓⊗`08↓V` @↓⊗@08↓V@ @↓⊗@ @↓⊗ 08↓V @↓⊗ @↓⊗08↓V @↓∃`08↓U` @↓∪βt`∂U @↓∃ @↓∃ @↓∃08↓U @↓∃ @↓∃ @↓∀`08↓RCtP∂T 08↓T @↓∀08↓T @↓∀ @↓∪`08↓S` @↓∪` @↓∪@08↓S@ @↓∪ 08↓S @↓∪ @↓∪ @↓⊃(B(∂I$2λβAα ⊂(@0λλi`_αA`_'@`⊂¬A P⊂β@ ⊂⊂βA)@_β@ 08@i@_β@! _&Aλ¬I0_∧!⊂_%@aλ∧i0_∧ p_%@aλβi0_β@ `_%@`pλβI0_β `_&@`λα@i@⊂α@ P_&@@0λα@i` α@`p +``⊂α*`⊂β@Pλ*@``⊂β*@_β@pλ)@``_β@* _β@`pλ(@a⊂∧*⊂⊂∧aλ(a_∧)p_∧@aλ'a _∧)P_¬@`pλ&a@_β@)@⊂π@`λ%@a`⊂α@) _λ@0λ%B "Q∧p0πβ#`⊂↓R`TXαR`T`↓ ∀xS`∀xS@∀pS ∀`R`∀PQ(B@묬RλπJpλ+*Pλ**0⊂)J⊂⊂(@*⊂'@Ip⊂'I`⊂&@iP⊂&@I@_&I@⊂%@i0_%@I0⊂%@I0⊂%i _%i _%i _%@I0⊂%@I0⊂%@I@⊂&IPλ&@I`λ'Ipλ(*⊂λ"Q¬⊂xλ$⊂@T@%_↓∃∃ ↓∃ %(↓∃@%0↓∃@%0↓U`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%0↓U@50↓U@%0↓∃ 5(↓∃ % ↓U% ↓∀`%_↓∀@%⊂↓∀ %λT$x↓∪@$h↓∪$X↓∩@∀("
B!@ λ! λ)@J0⊂)@I@λβ@`λ%A@λα@i@ ↓@ 0 '` λ↓j0)J_@I`_@ _%A0λ↓A _α@ P_% `⊂β*⊂⊂(@J⊂⊂(@(T ∃G$!x
∧%P↓⊗@%P↓⊗@%P↓⊗ 5H↓⊗ %H↓⊗ %H↓⊗5@↓⊗$P∞RCU@↓∃`58↓∃`%8↓∃`%8↓∃@50↓∃@%0↓∃@%(↓U %(↓⊃(B`βBAP ↓@i@(%AI00&`⊂λ(*λ'@)pλ')Pλ&@)0⊂%(T ↔↓!⊂ α@$Xα∩@TXα∩`4("c↓H⊗λ"`⊂/@kp⊂/k`⊂.@kP⊂.k@⊂-@k0⊂-k ⊂,@k⊂⊂,k⊂+@jp⊂+j`⊂*@jP⊂*j@⊂)@j0⊂)j ⊂(@j⊂⊂(j⊂'@ip⊂'i`⊂&@iP⊂&i@⊂%@i0⊂%i ⊂"Qπ @ε∧B ↓S ThαS Dp↓⊃a⊂⊂↓∩`DPαR`DX↓Q(CX∧Cβ1⊂α@i`('↓)` '@HpH↓@I@ %A)0(&↓ pλ'@)`λ')Pλ&@)@λ%@) λ"QπQx⊃Bb⊂∞SβT8∧βTP∞Q(D∂λcapπ↓jP_β@J0⊂εJ λλ*⊂λ *λ
)pλ∧↓!λ' p_α!λ&@ p⊂β@ pλ&@ `⊂∧@ `λ& `⊂¬`Pλ& P_¬`Pλ%@ `⊂¬@`Pλ%@ P_¬@`Pλ%@ P_¬@`Pλ%@ P_¬@`Pλ% P_¬@`Pλ% P_¬@`Pλ% `⊂¬@`Pλ% `_¬`Pλ%@ P_¬`@λ%@ `⊂∧A@λ%@ `_β@ ⊂_↓@)0λβ@`@⊂↓` ⊂&!(αA @λ&@)`λ'@B⊂_(@A 0)BhT -Cb∩`⊂BuλβT %λ↓∀ %λ↓∀ %↓∀%↓∀%↓∀$x↓∪`$x↓∪`$x↓∪`$p↓∪@$p↓∪@$p↓∪@$h↓∪ $h↓∪ $h↓∪ $`↓∪$`↓∪$`↓∪$X↓∩`$X↓∩`$X↓∩`$PβR@t("↔!pp⊗λ!8(Aj`⊂+J`⊂+J`⊂*@JP⊂*@JP⊂*@JP⊂*J@⊂*J@⊂*J@⊂)@J0⊂)@J0⊂)@J0⊂)J ⊂)J ⊂)J ⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(J⊂(J⊂(J⊂%↓i 8"Q0εC#`(S@∀hS∀XR`∀PR@∀PR@⊂λ↓∩@TPαR@TX↓Q(A⊂βD qpi _%↓ 0_&iP_'Ip⊂"Qα0H↓c`0↓T4x↓S@4h↓S$X↓∩@$("¬↓1(αε`⊂β@I0_↓@I@0&A `⊂"QαP`↓c`B@∀PB@∀PB ∀P↓α∀P↓↓`∀X↓↓4X∧∪ D("¬B⊃@ε@↓"Qαp@
Acp⊂α∩`⊂ R@⊂0R@⊂0R@⊂0R@⊂(R@⊂ R`D(!@?␈␈x␈@απ␈␈␈x{?␈␈x␈↓ 4xα∀ 5⊂↓T@5⊂↓T 4X∧∩@∀("λ↓0p↓D↓⊂⊂(iP_%hT /αB@0∂↓@∀x↓∪@Dh↓@$`A$XA@$PB∀("↔`Phαπ@ ⊂%A (%↓)0_"Q∂PhAc`⊂↓A 4`↓A 4`↓↓@$X↓A 4X↓↓@$XA`∀P↓↓@$PA`∀("∨Aq8↓G @_β@)@8↓@I0⊂↓Ai0λβ↓λT ?C"` ∂@ 0↓∩`@ α∩@P_αR@P_αR`0(↓Q(@X⊂λCapπ↓@P(*AP⊂@`0⊂*``(α↓
0⊂∧↓P )a α@j⊂_∧@j⊂_∧@j⊂_∧@j⊂_∧@j⊂_∧@j_∧@j_∧@i1H(a⊂_(a⊂_(a⊂_'@a⊂_'@a⊂_'@a⊂_'@a⊂_'@a⊂_'@a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_&@a⊂_&A↓ %α 0P"Q↓A0πC`pβ∃ @(U08↓∀` @↓T@08α∀ 0H↓T 5λ↓T 5λ↓T5↓RbE↓BE↓B 5↓B 4x↓B 4x↓B 4x↓B 4x↓B 4x↓B 4x↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4h↓B 4hααDP∧@a$("β"qH∂πA`H*AP_*`` )@@p()a_(@a⊂_(@a⊂_(@a⊂_(@a⊂_(@a⊂_(a⊂_(a⊂_%E
_∧@j_∧@j_∧@ip_∧@ip_∧@ip_∧@ip_∧@ip_∧@ip_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@iP_∧@iP ∧↓ H↓BHT πλDAp∂β@`0β∃ @(@@@(U08αA`%_↓α@@↓T@08αA`Eλ↓B 0H↓T 0H↓T 0H↓T 0H↓T 0H↓T0H↓T0H↓Rd¬↓B 0@α∀0H↓B 5↓B 0H↓S`0H↓B 4x↓B 0H↓S`0H↓B 4x↓B 0H↓S`0H↓B 4x↓B 0H↓S@0H↓B 4p↓B 0H↓S@0H↓B 4p↓B 0H↓S@0H↓B 4p↓B 0H↓S 0H↓B 4hαα@@α∩A⊂_∧@a$("βd2(∂πA`0βα*P α@@⊂ α@j@_β↓@` )@@p(βA* _βA!_(@a⊂_∧@j⊂_∧@a⊂_(@a⊂_∧@j⊂_∧@a⊂_(@a⊂_∧@j_∧@a⊂_(a⊂_∧@i2(a⊂_∧@j_∧@a⊂_(a⊂_∧@ip_∧@a⊂_'@a⊂_∧@ip_∧@a⊂_'@a⊂_∧@ip_∧@a⊂_'@a⊂_∧@i`_∧@a⊂_'a⊂_∧@i`_∧@a⊂_'a⊂_∧@i`_∧@a⊂_'a⊂_∧@iP_∧@a⊂_&A↓ ∧↓ H↓B 0P"Q∧ x
C#`⊂↓A@4XαATXαATXαAT`↓ ⊂(↓ ∀xB∀xB∀xB∀pB∀pB∀hB∀`B∀XB∀PB∀("!0hB@⊂P%BHT .βch∂↓ ⊂@S@⊂@S ⊂@S⊂@R`⊂@R`⊂@R@⊂@R@⊂@R@⊂@R@⊂λ↓↓ ⊂λ↓∩@P αR@P αR@P αR`00↓Q(GXεX¬HT >%p¬@¬T(wCm⊗ 2[NFH3~,W⊂⊂⊂iU_&;bV_7Y
⊗p3\l6@2[,R*→+α:→/π wCfx7≥fλ1Y,'H:→>0v∂@ε∂`$J≤+9@↓∨38↓∨38␈␈␈␈hβ⊂␈␈␈␈ αλ{βP¬⊃Xp¬H?0I@hZλ&↑`⊂∩↓LP ↓8λ⎇@2αm,pαzp{↓βp¬=Pε∧←0αH``*+@≤↑`0⊂@↓>0↓@y⎇@r β→$β∃`{α∧⊂¬xε9∨0∧I`e⊂
∀↑`P⊂@↓>0↓Pq⎇A1Xα2{¬Vp{ββ ∧HX?∨0εF@H⊃0↔≠≡`p∪↓[ ⊂αpu⎇Ar0β6B¬y`{∧↓@α$,λ-∂0λC@(β∀⊂e>a⊂@↓β@pα`
=B18απ∞¬Cλ{¬αp∧∞≤ ∂0
E`@≤8⊗↔>a0@↓β@pα`@=Br(β(N⊂¬HH{εα@βS`∃O0E`@≤8⊂w≡aP⊂@↓>0α⊂1⎇C2 β→$∧,p{παp∧∞≤λh?0∞J@pl `⊃p↑ap↔@α
Xs@α =⎇Cr β→$∧S`{λ↓Pα$,≠∂0⊂C HX∩␈>b⊂@↓β@pβ,⎇D20β6B∧gX{ αp∧∞≤πpO0∩I@hZλ∪F↑b0∩↓LP α∀⎇Dph↓∩⊗∧␈H{
α β→$
βo0∀D@02H∀ >bP@↓β@pα@r=E2 β→$¬∪_{↓Pα$,
//0⊗C`(=P_'≡bpε@Iλ0αHO⎇Eq8απ∞¬≠{αp∧∞≤εo∂0_E`@≤8
⎇}c⊂@↓β@p↓`≡=F18απ∞βIX{
αp∧∞≤π ∂0~E`@≤8∞X}c0@↓β@p↓hd=Fq8απ∞βd_{∞αp∧∞≤πR∂0≤E`@≤8∂B>cPε@Iλ0αPλ⎇G0h↓∩⊗¬"p{∂↓Pα$, GO0≡I`e⊂∃↔>cp|_xαλ∞⎇Gq0↓x?∧
⊂{⊂∧@ε2H
Mo0 H``*+@λ}d⊂⊂@↓:(K@N=H2λα|ε⊃H{⊃∧0ε#np2o0"G`X_)`↓¬>d0∂↓+X[@⊂J=Hr β≤u /x{∩∧0ε∃∃`po0$D (wc@α↓}dP↓π_β@ &=I2 β→→pJ_{∪βP¬⊃Xp↓%O0&J@x ∪@αa>dp⊃@↓E W07=Ir β→$q8{∀βp¬L∀p↓so0(I`e⊂β␈}e⊂⊃↓APC@@Y=J1Pα$,↓∪X{∃∧⊂¬xα6∂0*H``*+@¬ε>e0⊃@↓E WPO=Jrx∧≤`p↓1H{⊗∧0ε∃∃`α}O0,H``*+@ε≠>eP∞↓ `P`i=K0h↓∩⊗¬3_{↔αp∧∞≤∀␈0.C HX∃e≡ep@↓β@pα`s⎇Kph↓∩⊗¬P {_↓Pα$,
}←00E`@≤8εO>f⊂
↓∩⊂`hL=L1 ↓ip↓`H{→β ∧HXβHo02E8(% π->f0πP0(p|=Lq8απ∞↓t({~β ∧HXβw∂04C HXλ }fPπP0(↓0=M1@α∃]α_{≠↓@α$,∧#o06I@hZλλX}fp
↓∩⊂`↓λs=Mq8απ∞α#h{≤β ∧HX∧QO08F@Vt =}g⊂ fpN↓_1=N1⊂↓OH α9X{≥α β→$∧|/0:F@H⊃0
}g0↓
hh↓ B=Nrλα|εαLx{≡β∧+:¬)O0<F@Vt
e}gP
tx↓(}=O18απ∞ε∞P{∨¬`λ≤8≡?0>E`@≤8⊗E>gp@↓β@pαh≡=Oq8απ∞¬U_|@βλ≠`{⎇xow{⎇x